We will now resume our regular programming

Will we think in programming languages?

Modern science commonly uses computer modelling. Thousands of scientific model are daily transformed to computers programs and tested. The transformation must overcome the gap between abstract human formal notation and low level semantics of contemporary programming languages. The simultaneous knowledge of specific scientific models and programming languages is an unpleasant necessity for a sig...

And Now What Do We Do with Our Schoolchildren?

After training activities introducing computing, many teachers seem to ask themselves “And now: what do we do with our schoolchildren?”. When we had to design a course for about twenty-five teachers, from twelve primary and middle schools, our first concern was trying to change this. For about twelve hours of the course meetings we introduced programming, then we discussed with attendees three ...

Adhesive small bowel obstruction: where do we stand now?

Adhesive small bowel obstruction (ASBO) is one of the most frequently encountered disorders in Emergency Surgery Departments worldwide without negligible hospital admission rates and social costs (1,2). Notwithstanding significant improvements in techniques and materials, intra-abdominal adhesions following abdominal surgery still represent a major unsolved and debated issue harbouring challeng...

The Battle Against COVID-19: Where Do We Stand Now?

We Crashed, Now What?

We present an in-depth analysis of the crash-recovery problem and propose a novel approach to recover from otherwise fatal operating system (OS) crashes. We show how an unconventional, but careful, OS design, aided by automatic compiler-based code instrumentation, offers a practical solution towards the survivability of the entire system. Current results are encouraging and show that our approa...